COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	\input basic
C00003 ENDMK
C⊗;
\input basic
\magnify 2000

{\bf Definition: The circumscription of $P$ in $A(P)$ is the sentence schema}

$$A(\Phi) ∧ ∀\overline{x}.(\Phi(\overline{x}) 
⊃ P(\overline{x})) ⊃ ∀\overline{x}.(P(\overline{x}) ⊃ \Phi(\overline{x}))$$.

\vfill\end